Institute of Java and Software Engineering - PDFSEARCH.IO - Document Search Engine

Institute of Java and Software Engineering
Results: 32

#	Item
21	A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA[removed]removed] Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:47 Cross-platform software Java virtual machine Type system Java Interface Lattice Exception handling Objective-C C Computing Software engineering Computer programming
22	Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.edu January 11, 2002 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-01-11 16:42:23 Concurrency control Concurrency Computer memory C++ Data types Java Memory Model Double-checked locking Immutable object Constructor Computing Software engineering Computer programming
23	A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-01-13 16:21:08 Logic in computer science Java Memory Model Java platform Computer memory Concurrency Programming language semantics Memory model Consistency model Causal consistency Computing Computer architecture Software engineering
24	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing
25	A Side-by-Side Comparison of Exception Handling in Ada and Java Alfred Strohmeier, in collaboration with Stanislav Chachkov Swiss Federal Institute of Technology in Lausanne (EPFL) Software Engineering Laboratory CH-1015 Add to Reading List Source URL: www.sigada.org Language: English - Date: 2002-07-01 15:40:36 Control flow Holism Exception handling Java Subroutine Structured programming Unix signal New Exception handling syntax Computing Software engineering Computer programming
26	Practice of Programming using Java Lecture 9 June 30, 2006. 68 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-06-30 12:28:16 C POSIX library Write ALGOL 68 Circular buffer Data types Database Management Library Data file Computing Computer programming Software engineering
27	Practice of Programming using Java Lecture 7 June 24, 2006. 25 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-06-25 01:39:38 Method C++ C++ classes Constructor Type signature D Java C Sharp syntax Java syntax Software engineering Computing Computer programming
28	Practice of Programming using Java Lecture 5 June 22, 2006. 68 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-06-25 01:39:23 Object-oriented programming Trimming Polymorphism String Generalization D Inheritance Class Software engineering Computing Computer programming
29	Practice of Programming using Java Lecture 10 July 1, 2006. 25 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-07-03 03:42:24 Control flow Cross-platform software Exception handling Procedural programming languages Assertion Goto Java C Monitor Software engineering Computing Computer programming
30	Practice of Programming using Java Lecture 8 June 29, 2006. 68 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-06-29 12:59:52 Concurrent computing Software design patterns Lock Java Futures and promises Producer-consumer problem Computing Concurrency control Computer programming

UPDATE